PyDigger - unearthing stuff about Python


NameVersionSummarydate
lean-interact 0.1.0 LeanInteract is a Python package that allows you to interact with the Lean theorem prover. 2025-02-05 17:09:42
hourdayweektotal
9216251649292237
Elapsed time: 2.84730s